<HTML><HEAD>
<META NAME="copyright" CONTENT="Copyright (c) 1986-2008, Eiffel Software and others">
<META NAME="license" CONTENT="Eiffel Forum License v2 (see forum.txt)">
<META NAME="description" CONTENT="Objects representing delayed calls to a routine, with some operands possibly still open">
<META NAME="library" CONTENT="Free implementation of ELKS library">
<META NAME="keywords" CONTENT="Eiffel class">
<META NAME="keywords" CONTENT="Eiffel class">
<TITLE>routine Chart</TITLE></HEAD>
<BODY BGCOLOR="white">
<P ALIGN="CENTER">Automatic generation produced by ISE Eiffel</P>
<PRE><TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="routine_links.html">Relations</A></TD><TD><A HREF="routine_flatshort.html">Flat contracts</A></TD></TR></TABLE><B>deferred</B> <B>class</B>
    <A HREF="../base/routine_chart.html">ROUTINE</A> [BASE_TYPE, OPEN_ARGS -&gt; <A HREF="../base/tuple_chart.html">TUPLE</A> <B>create</B> <A HREF="../base/any_flatshort.html#f_default_create">default_create</A> <B>end</B>]

<B>General</B>
    cluster: elks
    description: 
        "Objects representing delayed calls to a routine,
        with some operands possibly still open"

<B>Ancestors</B>
    <A HREF="../base/hashable_chart.html">HASHABLE</A>*

<B>Queries</B>
    <A HREF="../base/routine_flatshort.html#f_callable">Callable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/routine_flatshort.html#f_empty_operands">empty_operands</A>: OPEN_ARGS
    <A HREF="../base/routine_flatshort.html#f_hash_code">hash_code</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/routine_flatshort.html#f_is_equal">is_equal</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/routine_chart.html">ROUTINE</A> [BASE_TYPE, OPEN_ARGS]): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/hashable_flatshort.html#f_is_hashable">is_hashable</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A><FONT COLOR="red"> -- (from HASHABLE)</FONT>
    <A HREF="../base/routine_flatshort.html#f_is_target_closed">is_target_closed</A>: <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/routine_flatshort.html#f_open_count">open_count</A>: <A HREF="../base/integer_32_chart.html">INTEGER_32</A>
    <A HREF="../base/routine_flatshort.html#f_operands">operands</A>: OPEN_ARGS
    <A HREF="../base/routine_flatshort.html#f_postcondition">postcondition</A> (args: [<B>like</B> <A HREF="../base/routine_flatshort.html#f_operands">operands</A>] OPEN_ARGS): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/routine_flatshort.html#f_precondition">precondition</A> (args: [<B>like</B> <A HREF="../base/routine_flatshort.html#f_operands">operands</A>] OPEN_ARGS): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/routine_flatshort.html#f_target">target</A>: ?<A HREF="../base/any_chart.html">ANY</A>
    <A HREF="../base/routine_flatshort.html#f_valid_operands">valid_operands</A> (args: ?<A HREF="../base/tuple_chart.html">TUPLE</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>
    <A HREF="../base/routine_flatshort.html#f_valid_target">valid_target</A> (args: ?<A HREF="../base/tuple_chart.html">TUPLE</A>): <A HREF="../base/boolean_chart.html">BOOLEAN</A>

<B>Commands</B>
    <A HREF="../base/routine_flatshort.html#f_adapt">adapt</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/routine_chart.html">ROUTINE</A> [BASE_TYPE, OPEN_ARGS])
    <A HREF="../base/routine_flatshort.html#f_apply">apply</A>
    <A HREF="../base/routine_flatshort.html#f_call">call</A> (args: OPEN_ARGS)
    <A HREF="../base/routine_flatshort.html#f_copy">copy</A> (other: [<B>like</B> <B>Current</B>] <A HREF="../base/routine_chart.html">ROUTINE</A> [BASE_TYPE, OPEN_ARGS])
    <A HREF="../base/routine_flatshort.html#f_set_operands">set_operands</A> (args: OPEN_ARGS)
    <A HREF="../base/routine_flatshort.html#f_set_target">set_target</A> (a_target: [<B>like</B> <A HREF="../base/routine_flatshort.html#f_target">target</A>] ?<A HREF="../base/any_chart.html">ANY</A>)

<TABLE BORDER="1" ALIGN="CENTER"><TR><TD><A HREF="../class_list.html">Classes</A></TD><TD><A HREF="../cluster_list.html">Clusters</A></TD><TD><A HREF="../cluster_hierarchy.html">Cluster hierarchy</A></TD><TD>Chart</TD><TD><A HREF="routine_links.html">Relations</A></TD><TD><A HREF="routine_flatshort.html">Flat contracts</A></TD></TR></TABLE></PRE>
<P ALIGN="CENTER"> &#045;&#045; Generated by ISE Eiffel &#045;&#045 </P>
<P ALIGN="CENTER">For more details: <A HREF="http://www.eiffel.com">www.eiffel.com</A></P>
</BODY>
</HTML>
